#ifndef _SPINLOCK_H
#define _SPINLOCK_H
#include "atomic.h"

void
acquire(spinlock_t *lk);

void
release( spinlock_t *lk);

void
initlock(spinlock_t *lk, char *name);

void push_off(void);

void pop_off(void);

int
holding(spinlock_t *lk);

#endif
